A lattice of implicative extensions of regular Kleene's logics

A b s t r a c t. The paper deals with functional properties of three-valued logics. We consider the family of regular three-valued Kleene's logics (strong, weak, intermediate) and it's extensions by adding an implicative connectives (" natural " implications). The main result of our paper is the lattice that describes the relations between implicative extensions of regular logics. In this paper we propose an original approach to a problem of relation between different three-valued logics. And the family of regular three-valued Kleene's logics is considered as the base for other three-valued logics. Keywords: three-valued logics, regular Kleene's logics, implication, extensions of regular logics, lattice of three-valued logics. Publikacja objęta jest prawem autorskim. Wszelkie prawa zastrzeżone. Kopiowanie i rozpowszechnianie zabronione. Publikacja przeznaczona jedynie dla klientów indywidualnych. Zakaz rozpowszechniania i udostępniania serwisach bibliotecznych